Free shipping on all orders! No minimum purchase required.
Theorem Proving in Higher Order Logics
by Joe Hurd (Editor), Tom Melham (Editor)
